projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8f282f) | patch
Doc tweaks re prettify-symbols-mode
authorGlenn Morris <rgm@gnu.org>
Sat, 7 Jun 2014 23:39:40 +0000 (16:39 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 7 Jun 2014 23:39:40 +0000 (16:39 -0700)
commit6ad11b5fc56cf56215f1c3a713b0852ab95e6ff0
tree50ff48aa978a0f123ce99b6a5e94ed532766919btree | snapshot
parentf8f282fac342a4a2307550bcbf9843e079b8bf4bcommit | diff
Doc tweaks re prettify-symbols-mode

* doc/emacs/programs.texi (Prettifying Symbols): Remove node.
(Misc for Programs): Mention more briefly here.

* doc/emacs emacs.texi (Top): Update menu.
doc/emacs/ChangeLog diff | blob | history
doc/emacs/emacs.texi diff | blob | history
doc/emacs/programs.texi diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.